#[app(device = pac, peripherals = false, dispatchers = [SPI1])]
mod app {
    use super::*;

    #[shared]
    struct Shared {}

    #[local]
    struct Local {}

    #[init]
    fn init(_cx: init::Context) -> (Shared, Local) {
        task1::spawn().ok();
        //task2::spawn(Default::default()).ok(); <--- This is rejected since it is a local task
        (Shared {}, Local {})
    }

    #[task(priority = 1)]
    async fn task1(cx: task1::Context) {
        defmt::info!("Hello from task1!");

        // This is the only way to spawn task2, by using the local spawner
        cx.local_spawner.task2(Default::default()).ok();
    }

    //    Note the same prio as above
    //     vvvvvvvv
    #[task(priority = 1, is_local_task = true)] // <-- This is a local task
    async fn task2(_cx: task2::Context, _nsns: super::NotSendNotSync) {
        defmt::info!("Hello from task1!");
    }
}

#[derive(Default)]
struct NotSendNotSync(PhantomData<*mut u8>);